منابع مشابه
Secrecy logic: S -secrecy structures
Let S = 〈L, S〉 be a deductive system. An S -secrecy logic is a quadruple K = 〈FmL(V ),K,B, S〉 , where FmL(V ) is the algebra of L-formulas, K,B are S -theories, with B ⊆ K and S ⊆ K such that S ∩ B = ∅ . K corresponds to information deducible from a knowledge base, B to information deducible from the publicly accessible (or browsable) part of the knowledge base and S is a secret set, a set of s...
متن کاملBSE uncertainties drag on
A recent mix-up in studies on brain tissue of animals has set back Britain's efforts to determine human exposure to the BSE agent through contaminated meat products. Nigel Williams reports.
متن کاملSecrecy-Preserving Reasoning using Secrecy Envelopes
Inmany applications of networked information systems, the need to share information often has to be balanced against the need to protect secret information from unintended disclosure, e.g., due to copyright, privacy, security, or commercial considerations. We study the problem of secrecy-preserving reasoning, that is, answering queries using secret information, whenever it is possible to do so,...
متن کاملBse and Cjd Update
An earlier POST report1 described what was known of the origin of BSE in cattle, and the basis for concern that ‘new variant’ forms of a human transmissible spongiform encaphalopathy (TSE) Creutzfeldt-Jacob Disease (CJD) had a BSE origin. A second report reviewed mathematical models which had helped understand the spread of BSE in cattle and predict what would happen to the future course of the...
متن کاملChasing the BSE agent
The UK and its anxious neighbours are currently focusing on foot and mouth disease but agricultural researchers are still working on a much deeper and worrying problem: BSE and its human form, new variant CJD. Unlike foot and mouth disease, much remains unknown about the aberrant prion protein agent of BSE and how it causes disease. One of the biggest stumbling blocks to research is the lack of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1996
ISSN: 0028-0836,1476-4687
DOI: 10.1038/383467a0